add_executable (stringcover stringcover.cpp 
	StringFactorization.cpp SubstringStore.cpp SCSolver.cpp ProblemInstance.cpp Solution.cpp
	BranchAndBoundNode.cpp BranchAndBoundSolver.cpp Multipliers.cpp SimpleBoundProvider.cpp
	IntervalNumbering.cpp LagrangianBoundProvider.cpp LengthBasedWeightFunction.cpp
	StringBasedWeightFunction.cpp
)
target_link_libraries(stringcover ${Boost_LIBRARIES} )
install(TARGETS stringcover RUNTIME DESTINATION bin)
